#ifndef __IRQ_H__
#define __IRQ_H__

#include <types.h>
#include <context.h>

#define NUM_IRQ_HANDLERS	16

extern void int00_handler();
extern void int01_handler();
extern void int02_handler();
extern void int03_handler();
extern void int04_handler();
extern void int05_handler();
extern void int06_handler();
extern void int07_handler();
extern void int08_handler();
extern void int09_handler();
extern void int0a_handler();
extern void int0b_handler();
extern void int0c_handler();
extern void int0d_handler();
extern void int0e_handler();
extern void int0f_handler();

uint32_t int_handler(uint32_t irqn, userframe_t *stack0);
void irq_init();

#endif	/* __IRQ_H__ */

